package folexpr.compiler.visitors.i_removebracket;

import folexpr.compiler.visitors.VisitResult;

public class RemoveUnneededBracketVisitResult extends VisitResult
{	
	//  flags di stato 
	private Boolean containsImplic = null;
	private Boolean containsDisg = null;
	private Boolean containsCong = null;
	private Boolean containsUnary = null;
	private Boolean containsTerm = null;
	
	public RemoveUnneededBracketVisitResult() {
		super();
	}
	
	//////////////////////////////////////////////////////////////////////////////////////////
	
	public void addResultString(String s) { this.resultExpr = this.resultExpr + s; }
	
	public String toString() {  return "STRINGA=" + this.getResultExpr() + " " + this.printFlags(); }
	
	private String printFlags() {
		return 
		"FLAGS=(<=>:"+this.containsImplic() +
		" || OR:"+this.containsDisg() +
		" || AND:"+this.containsCong() + 
		" || UNARY:"+this.containsUnary() +
		" || TERM:"+this.containsTerm() + 		
		")" ;
	}

	///////////////////////////  GETTERs AND SETTERs  ////////////////////////////////////////
	
	public Boolean containsImplic() {return containsImplic;}
	public void setContainsImplic(Boolean containsImplic) {this.containsImplic = containsImplic;}
	
	public Boolean containsDisg() {return containsDisg;}
	public void setContainsDisg(Boolean containsDisg) {this.containsDisg = containsDisg;}
	
	public Boolean containsCong() {return containsCong;}
	public void setContainsCong(Boolean containsCong) {this.containsCong = containsCong;}

	public Boolean containsUnary() {return containsUnary;}
	public void setContainsUnary(Boolean containsUnary) {this.containsUnary = containsUnary;}
	
	public Boolean containsTerm() {return containsTerm;}
	public void setContainsTerm(Boolean containsTerm) {this.containsTerm = containsTerm;}

}